Programmes et langages

Automates infinis, logiques et langages

de révision : Automates et langages

Ces notes de révisions sont destinées aux candidats à l’agrégation de mathématiques qui ont choisi l’option D d’informatique à l’oral. Les notes couvrent (pour l’instant) l’essentiel du programme de l’option en matière d’automates et de langages rationnels, et seront complétées un jour. . . Certaines thématiques largement hors programme sont également abordées : elles sont signalées par le symb...

Lambda-calcul et langages fonctionnels

Ceci est la version 5 de la première partie du cours de lambda-calcul, datant du 22 février 2017. La version 4 datait du 02 juin 2014 (et contenait encore une erreur dans la démonstration du théorème de standardisation). La version 3 datait du 28 janvier 2011 (bizarrement, je n’avais pas remarqué l’erreur présente depuis dix ans dans la démonstration du théorème de standardisation. Merci à Arth...

Mots infinis et langages commutatifs

Langages Algébriques et Systèmes de Réécriture Rationells

— In this paper, a new methodfor generating languages is introduced. It consists of the définition ofafinite number ofrules ofthe type: fug may be replacedby fvg iffbelongs to a given regular language. It is proved that any de terminis tic language which is prefix can be generated starting from finite sets anditerating such rules. Conversely under suitable hypotheses on the R(u, v) the language...